1. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,جبر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
![](/design/images/bookmore.png)
5. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson ... ]et al.[
کتابخانه: (Semnan)
موضوع : ، Mathematical analysis,، Logic, symbolic and mathematical
رده :
QA
300
.
5
.
A53
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Communication: a logical model
پدیدآورنده : Harrah, David
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Content analysis )Communication(,، Information theory
رده :
BC
135
.
H33
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Frege, Gottlob,8481-5291,، Frege, Gottlob, 8481-5291-- Influence,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24
.
D865
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Frege and other philosophers
پدیدآورنده : Dummett, Michael
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,Influence ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B3245
.
F24
D865
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Frege, Gottlob,8481-5291,Influence. ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical.,، Analysis )Philosophy(
رده :
B
3245
.
F24D9
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)